home *** CD-ROM | disk | FTP | other *** search
Text File | 1997-08-18 | 961 b | 28 lines | [TEXT/Moml] |
- (* Nonstdio -- non-standard I/O, will be replaced by BinIO and TextIO *)
-
- local open BasicIO in
-
- val open_in_bin : string -> instream;
- val buff_input : instream -> CharArray.array -> int -> int -> int;
- val input_char : instream -> char; (* May raise Size *)
- val input_binary_int : instream -> int;
- val input_value : instream -> 'a;
- val seek_in : instream -> int -> unit;
- val pos_in : instream -> int;
- val in_stream_length : instream -> int;
- val fast_really_input : instream -> string -> int -> int -> unit;
-
- val open_out_bin : string -> outstream;
- val open_out_exe : string -> outstream;
- val output_char : outstream -> Char.char -> unit;
- val output_byte : outstream -> int -> unit;
- val buff_output : outstream -> CharArray.array -> int -> int -> unit;
- val output_binary_int : outstream -> int -> unit;
- val output_value : outstream -> 'a -> unit;
- val seek_out : outstream -> int -> unit;
- val pos_out : outstream -> int;
-
- val file_exists : string -> bool;
-
- end;
-